Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
نویسندگان
چکیده
The notation and terminology used in this paper have been introduced in the following papers: [7], [15], [2], [3], [24], [4], [5], [1], [11], [16], [6], [9], [12], [17], [18], [10], [8], [23], [14], [21], [13], and [22]. For simplicity, we use the following convention: n, m denote non empty elements of N, i, j denote elements of N, f denotes a partial function from 〈Em, ‖ · ‖〉 to 〈En, ‖ · ‖〉, g denotes a partial function from Rm to Rn, h denotes a partial function from Rm to R, x denotes a point of 〈Em, ‖ · ‖〉, y denotes an element of Rm, and X denotes a set. We now state a number of propositions:
منابع مشابه
Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
In this paper i, n, m are elements of N. The following propositions are true: (1) Let f be a set. Then f is a partial function from Rm to Rn if and only if f is a partial function from 〈Em, ‖ · ‖〉 to 〈En, ‖ · ‖〉. (2) Let n, m be non empty elements of N, f be a partial function from Rm to Rn, g be a partial function from 〈Em, ‖·‖〉 to 〈En, ‖·‖〉, x be an element of Rm, and y be a point of 〈Em, ‖ ·...
متن کاملDifferentiable Functions on Normed Linear Spaces1
In this article, we formalize differentiability of functions on normed linear spaces. Partial derivative, mean value theorem for vector-valued functions, continuous differentiability, etc. are formalized. As it is well known, there is no exact analog of the mean value theorem for vector-valued functions. However a certain type of generalization of the mean value theorem for vectorvalued functio...
متن کاملCompact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions
We characterize compact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions on metric spaces, not necessarily compact, with Lipschitz involutions and determine their spectra.
متن کاملA Unified Approach to Mathematical Optimization and Lagrange Multiplier Theory for Scientists and Engineers
It should be no surprise that the differentiation of functionals (real valued functions) defined on abstract spaces plays a fundamental role in continuous optimization theory and applications. Differential tools were the major part of the early calculus of variations and actually it was their use that motivated the terminology calculus of variations. The tools that we develop that allow us to w...
متن کاملDiscretization and Affine Approximation in High Dimensions
Lower estimates are obtained for the macroscopic scale of affine approximability of vector-valued Lipschitz functions on finite dimensional normed spaces, completing the work of Bates, Johnson, Lindenstrass, Preiss and Schechtman. This yields a new approach to Bourgain’s discretization theorem for superreflexive targets.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Formalized Mathematics
دوره 19 شماره
صفحات -
تاریخ انتشار 2011